#include <stdio.h>
int main()
{
    float a;
    a = 10000 / 3.;
    printf("%f\n", a);
    return 0;
}
